interface{-}right($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\lambda$$f$,$s$. $\lambda$$x$.invert{-}union($x$) o $f$($s$)   o $X$